In addition to the general types, string and number, we can refer to specific strings and numbers in type positions. By themselves, literal types aren't beneficial, It's not much use to have a variable that can only have one value! But by combining literals into unions, you can express a much more useful concept - for example, functions that only accept a certain set of known values